681. Service-oriented computing--ICSOC 2007 workshops
پدیدآورنده: Elisabetta Di Nitto, Matei Ripeanu (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer engineering, Congresses,Computer network architectures, Congresses,Electronic commerce, Congresses,Electronic data processing-- Distributed processing, Congresses,Web services-- Design, Congresses
رده :
TK5105
.
5828
.
I27
2009eb
682. Services Computing - SCC 2019 :
پدیدآورنده: Joao Eduardo Ferreira, Aibek Musaev, Liang-Jie Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Information technology, Congresses.,Web services, Congresses.,Information technology.,Web services.
رده :
TK5105
.
88813
.
S33
2019eb
683. Services -- SERVICES 2019 :
پدیدآورنده: Yunni Xia, Liang-Jie Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems, Congresses.,Computer systems.
رده :
QA75
.
5
684. Simulation and visualization on the grid :
پدیدآورنده: [Seventh Annual PDC Conference on High-Performance Computing]. Björn Engquist ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation -- Congresses.,Computer simulation.,Visualization -- Congresses.
685. Simulation and visualization on the grid :
پدیدآورنده: [Seventh Annual PDC Conference on High-Performance Computing]. Björn Engquist ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation -- Congresses.,Computer simulation.,Visualization -- Congresses.
رده :
QA76
.
9
.
C65
S484
2000
686. Smart card research and advanced applications :
پدیدآورنده: Emmanuel Prouff (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Smart cards, Congresses
رده :
TK7895
.
S62
C37
2011
687. Smart energy research : at the crossroads of engineering, economics, and computer science : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, revised selected papers
پدیدآورنده: Derksen, Christian
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Congresses ، Special purpose computers,Congresses ، Application software,، Computers, Special purpose -- Congresses
رده :
TJ
163
.
2
.
L587
2017
688. Social robotics :
پدیدآورنده: Bilge Mutlu [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Robotics, Congresses
رده :
TJ210
.
3
.
I58
2011
689. Software Architecture
پدیدآورنده: \ Danny Weyns, Raffaela Mirandola, Ivica Crnkovic (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software architecture -- Congresses.,Software engineering -- Congresses.,معماری نرم‌افزار -- کنگره ها,مهندسی نرم‌افزار -- کنگره ها
رده :
QA
76
.
751
.
E25
S6
2015
E-Book
,
690. Software Composition
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Development -- Congresses,Software engineering -- Congresses,Computer science,نرم‌افزار -- تولید -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها,علوم کامپیوتر
رده :
E-Book
,
691. Software Engineering.
پدیدآورنده: \ Bertrand Meyer , Martin Nordio (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Software engineering.,نرم‌افزار -- مهندسی-- کنگره‌ها ,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
758
.
S62
2015
E-Book
,
692. Software Engineering Education : SEI Cofnerence 1992, San Diego, California, USA, October 5-7, 1992: proceedings
پدیدآورنده: C. Sledge, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Study and teaching )Higher( -- Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
640
693. Software Engineering Techniques
پدیدآورنده: \ Zbigniew Huzar...[et al.] (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
E-Book
,
694. Software Engineering Trends and Techniques in Intelligent Systems
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses,Artificial intelligence -- Congresses,نرم‌افزار -- مهندسی -- کنگره‌ها,هوش مصنوعی -- کنگره‌ها
رده :
E-Book
,
695. Software Engineering; an Advancd Course
پدیدآورنده: edited by F. L. Bauer
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming- Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
A33
1972a
696. Software Engineering and Formal Methods
پدیدآورنده: \ Radu Calinescu , Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی ن‍رم اف‍زار ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
697. Software Engineering and Formal Methods
پدیدآورنده: \ [edited by] Carlos Canal, Akram Idani.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
698. Software Engineering and Formal Methods
پدیدآورنده: \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
رده :
QA
76
.
758
.
S62
2015
E-Book
,
699. Software Engineering for Resilient Systems
پدیدآورنده: \ Alessandro Fantechi , Patrizio Pelliccione (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Computer software -- Reliability -- Congresses.,Computer software -- Reliability.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- اطمینان‌پذیری -- کنگره ها ,نرم‌افزار -- اطمینان‌پذیری
رده :
QA
76
.
758
.
S62
2015
E-Book
,
